type theory - German English Dictionary